関係写像演算子のスケッチを rop へ移動