かじもとにっき

ゆるふわなおはなしをかきます

2014-07-08から1日間の記事一覧

2項関係(16)

定義 total relation の時、 証明 について。 と仮定すると、 。 一方、を仮定すると、 。について。 。 ここで、。 定理 iff 任意の関係に対し、ならば。 証明 と仮定。 任意のに対して、逆に、任意の関係に対し、ならばと仮定すると、 定理 。 定義 mappin…