関係写像演算子 dum を説明