Properties on inclusion relations and division charts in non-deterministic information systems | IEEE Conference Publication | IEEE Xplore