for X being set
for f being Function of (bool X),(bool X) st f . X = X holds
(Flip f) . {} = {}