universal relation

finitary relation consisting of all possible tuples

Κατηγορίες: