Theory of relations
Redirect to:
Finitary relation