空集合
empty set
空集合 - Wikipedia
empty set in nLab
集合の圈
$ \bf Set
の
始對象
空函數
空関数 - Wikipedia
empty function in nLab
關係の圈
$ \bf Rel
の
零對象
全體集合
$ U
の補集合
$ U^C
單集合 (singleton)
(單元集合。單項集合。一元集合。單位集合 (unit set)) と間違へがち
単集合 - Wikipedia
singleton in nLab
unit type in nLab
空文字列 - Wikipedia
空集合
の公理
$ \exist\varnothing\forall x(x\notin\varnothing)
空な型
Empty type - Wikipedia
empty type in nLab
empty bundle in nLab
空圈
empty category in nLab
空範疇
Empty category - Wikipedia
空範疇原理
Empty category principle - Wikipedia