for X being set holds {{},X} is Field_Subset of X