Field/Domain/Fact

< Field < Domain

Let denote a field. Then

implies that

or

.