関係写像による計算の図解に加筆