投稿日: 2019年4月25日2023年9月28日類・クラス Class || なにかの集まりを指すものの総称 「集合より範囲の広い」『なんらかの集まり』のこと。 “類・クラス Class” の続きを読む
投稿日: 2019年4月15日2023年9月28日順序集合 Ordered Set || そういえば順序ってそもそもなに? 『順序』が定義された「集合」のこと(そのまま) 中身(要素)のどれかに『順序』が定義できます。 “順序集合 Ordered Set” の続きを読む
投稿日: 2019年4月14日2023年9月28日整礎関係 Well-founded || 下地・基盤・基礎がしっかりしてる 「正の整数」での「 0 」みたいなものがある感じ。 “整礎関係 Well-founded” の続きを読む