ex p being PartialPredicate of F₁() st
( dom p = F₂() & ( for d being object st d in dom p holds
( ( P₁[d] implies p . d = TRUE ) & ( P₁[d] implies p . d = FALSE ) ) ) )

A1: F₂() c= F₁()