A multi-place predicate that expresses a relation between things.