SE 212: Valuations of Predicate Logic
Function: maps N,N^2^,… => N (i.e. to the Domain)\ Relation: maps n-tuples in N^n^ to {0,1}.