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