Relation (logic)
Redirect to:
Finitary relation