かじもとにっき

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

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

2項関係(15)

定義 univalent relation*1 定理 。 証明 とを仮定すると、 。 定理 *2。 証明 、、を仮定すると、 定理 分配律 。 証明 と仮定すると、 定理 。 。 証明 どちらもDedekind律から直ちに出る。 定理 。 定理 。 証明 と仮定。より。よって。また、 定理 。 参…