subsetComparesType

Checks if A is a subset of B. If A is a subset of B if:

• A \ B = undefined
• A ∩ B = defined
• B ∩ A = defined