for X being set
for F being Field_Subset of X holds
( {{},X} c= F & F c= bool X )