関係写像演算子 koshu-rop を説明