subset tests the subset relationship between a given pair of characteristic functions.
Basic defining properties of subset
Alternate version of defining properties for subset, using projections instead of pairs
up | previous | next | detailed contents | brief contents