空集合
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 - Wikipedia
空範疇原理
Empty category principle - Wikipedia