そもそも関係をA×Bの部分集合と捉えるのもか
知らんけど