a predicate or a property is a function whose range is true/false.a relation is a property whose domain is a set of \(k\) tuples, which we call a $k$-ary relation.