AβSetA \in \textbf{Set}AβSet
BβSetB \in \textbf{Set}BβSet
β(x:xβA:xβB)\forall (x : x \in A : x \in B)β(x:xβA:xβB)
Notation
AβBA \subseteq BAβB denotes Includesβ βAβ βB\textbf{Includes} \; A \; BIncludesAB.
pred Includes(A,B: set univ) { A in B }
Last updated 1 year ago