extension

Set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation.

Danh mục: