Characteristic predicate Field::Field::Field

Field()