可能性としては、二項関係を定義するときの集合の直積「×」を乗算と誤解しているってのに思い至ったのだが。