A symbol that denotes a relation (may also be a function). Cannot be used as a functor of a term expression, even if it denotes a function.