predicates, properties, and relations
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.