If I
and J
are two sets formed by intersections,
how to know if I
contains J
, knowing that:
- n
- ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ ∩ sub <
- nor
I
norJ
are empty, therefore no x or j x are
I know the answer is ternary, can be True, False or Indefinite ... to tell you the truth I already know part of the answer, but since I am only one limited mind, there may still be some missing case that I can not visualize. Perhaps someone with a more solid mathematical base can put an end to it.
Issue 1: Available Operations
The sets are not enumerable. You can use operators between sets. In my interface I have defined I
, J
and Contains(other)
, and each operation can return a third value besides Yes and No , which is Undefined ... but for the tests made between sets Intersects(other)
and IsEmpty()
we can assume a Boolean answer, because the undefined value would simply be propagated. There are also operations that return sets ix
and jx
.
In short:
- Can not enumerate
- There are test operations each returning No , No and undefined :
-
Intersection(other)
-
Union(other)
-
Contains(other)
-
- There are operations that return other sets
-
Intersects(other)
-
IsEmpty()
-