generated at
2/21/2025, 7:13:51 PM
関係の圏Rel
category of relations
https://ja.wikipedia.org/wiki/関係の圏