関係写像演算子 source を説明