S := {<x, y>: p(x, y)}.
p(x, y) : <=> <x, y> in S.
We may interpret a set of tuples as a predicate (relation).