for X being set holds bool X is Field_Subset of X ;