Let be the predicate where .

Determine the truth set for .