for X being set
for f being V224() Function of (bool X),(bool X) holds gfp (X,f) is_a_fixpoint_of f