 Uppercase letters \(R,S,T, \ldots\) will be used to denote relations—i.e., subsets of \(\mathbb{N}^k\)—with the range \(A,B,C, \ldots\) reserved to denote unary relations—i.e., subsets of \(\mathbb{N}\).