:: deftheorem Def14 defines Flip ROUGHS_2:def 14 :
for X being set
for f, b₃ being Function of (bool X),(bool X) holds
( b₃ = Flip f iff for x being Subset of X holds b₃ . x = (f . (x `)) ` );