関係写像演算子に cox グループを追加