曇りなき眼で見定めブログ

↓これの続き cut-elimination.hatenablog.com を順序集合とする。部分集合 をとる。 がすべての について のとき、 は の上界であるという。例えば順序集合 について の部分集合 をとると、 なんかはその上界である。 順序集合 と について、 を の上界をすべて集めた集合とする。 がすべての について のとき、 は の上限…