Relational Predicates

A predicate with two places says something about a pair, and the order of the pair is the claim