関係の圏Rel
category of relations
https://ja.wikipedia.org/wiki/関係の圏