投稿日: 2019年4月16日2023年9月28日制限 Restriction || 名前のまんま初めのものを絞る感じ。「そっからそこまで」の「そっから」をちっちゃくする。“制限 Restriction” の続きを読む
投稿日: 2019年4月15日2023年9月28日順序集合 Ordered Set || そういえば順序ってそもそもなに？『順序』が定義された「集合」のこと（そのまま）中身（要素）のどれかに『順序』が定義できます。“順序集合 Ordered Set” の続きを読む
投稿日: 2019年4月14日2023年9月28日整礎関係 Well-founded || 下地・基盤・基礎がしっかりしてる「正の整数」での「 0 」みたいなものがある感じ。“整礎関係 Well-founded” の続きを読む
