The term subset tests the subset relationship between a given pair of characteristic functions.

Definition of subset

Basic defining properties of subset

Alternate version of defining properties for subset, using projections instead of pairs

up show outline