Characteristic predicate ConstantField :: ConstantField