Definition: The truth set of a predicate is the collection of all elements in its domain where the predicate evaluates to \(T\). Notice that specifying the domain and the truth set is sufficient for defining a predicate.