We provide a wide-ranging study of the scenario where subset relations in relational vocabulary is visible to user—that is, their complete contents are known—while remaining invisible. also have background theory—invariants given by logical sentences—that may relate invisible ones, and constrain both isolation. want determine whether some other information, as positive existential formula, can ...