Characteristic predicate Enum::Enum

Enum()