En àlgebra de classes i en la de relacions, pertinença (expressada per ⊂) de tots els membres d’una classe a una altra, d’unes relacions a unes altres.
Simbòlicament, la inclusió de classes és definida com A ⊂B = df (x) (x ∈A ⊃x ∈B), i la de relacions com R ⊂S = df(x)(y)(xRy ⊃xSy).