虐げられるものへの慮り

全ての写像の集合を とするとき、この集合の要素に、 と の間に の関係が成立すること ( と表す) を へと変換する写像 、すなわち なる がある。このとき なる写像 は存在し得る。