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.
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.