Subrelation
Redirect to:
Finitary relation