Of two sets A and B, the set A if it is contained in B (A ⊂ B) but is not equal to B (A ≠ B).
See also: → proper; → subset.