properSubsetComparesType

function

Checks if A is a subset of B. If A is a subset of B, A \ B will be undefined. But B \ A will be defined.