↓これの続き cut-elimination.hatenablog.com 河野真太郎『増補 戦う姫、働く少女』 増補 戦う姫、働く少女 (ちくま文庫 こ-58-1) 作者:河野 真太郎 筑摩書房 Amazon 今回は新自由主義とともに本書に頻出する「ポストフェミニズム」という用語について。 ポ…

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