scheme :: TREES_2:sch 2
FraenkelCard{ F₁() -> non empty set , F₂() -> set , F₃( object ) -> set } :

card { F₃(w) where w is Element of F₁() : w in F₂() } c= card F₂()