[iŋ′klü·zhən ri‚lā·shən] (mathematics) 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.Any relation on a Boolean algebra which is reflexive, antisymmetric, and transitive.