半集合 在集合論中一個真類稱為半集合當且僅當其包含在一個集合中 半集合的理論最早由捷克數學家彼得沃彭卡英语Petr Vopěnka和彼得哈耶克英语Petr Hájek於年提出的在馮諾伊曼博內斯哥德爾集合論NBG的基礎上作出了變化但在標準NBG中分離公理是不允許半集合存在的半集合的概念開闢了一種作為替代的集合論 半集合用於表示那些 邊界不明確 的集合Vilém Novák  研究了怎樣用模糊集對半集合進行逼近而這通常也是為不明確性建立數學模型的實際手段