1. A set theoretic relation, usually denoted by the symbol ⊂, such that, if A and B are two sets, A ⊂ B if and only if every element of A is an element of B.

2. Any relation on a Boolean algebra which is reflexive, antisymmetric, and transitive.