«Դատարկ բազմություն»–ի խմբագրումների տարբերություն

'''Դատարկ բազմություն''', մաթեմատիկայում, ավելի կոնկրետ՝ [[Բազմությունների տեսություն|բազմությունների տեսության]] մեջ յուրահատուկ [[բազմություն]], որը չունի որևէ [[Էլեմենտ (մաթեմատիկա)|տարր]](էլեմենտ)։ Դատարկ բազմության մեծությունը և [[Բազմության հզորություն|հզորությունը]] հավասար է [[զրո]]յին: Որոշ աքսիոմատիկ բազմությունների տեսություններ դատարկ բազմության գոյությունը հնարավոր են համարում [[դատարկ բազմության աքսիոմ]]ի ներառման միջոցով։ Այլ տեսություններում դատարկ բազմության գոյությունը հնարավոր է դուրս բերել։   Բազմությունների հնարավոր շատ հատկություններ ճիշտ են նաև դատարկ բազմության համար։

Դատարկ բազմության տարածված նշանակումներն են «{}», «∅» և «<math>\emptyset</math>» սիմվոները։ Վերջին երկուսը առաջին անգամ ներկայացրել է [[Բուրբաքի խումբ]]ը (հատկապես՝[[Անդրե վեյլ|Անդրե Վեյլը]]) 1939 թվականին, [[նորվեգերեն]]իև [[դանիերեն]]ի այբուբենների  [[Ø]]  տառից ոգեշնչված. այն կապված չէ հունարեն  [[Ֆի (տառ)|Φ]]  տառի հետ<ref>[http://jeff560.tripod.com/set.html Earliest Uses of Symbols of Set Theory and Logic.]</ref>

[[Յունիկոդ]]ում դատարկ բազմության նշանը  U+2205-ում է<ref>[http://www.unicode.org/charts/PDF/U2200.pdf Unicode Standard 5.2]</ref>:  [[TeX]]-ում այն կոդավորվում է՝  <tt>\emptyset</tt>  կամ  <tt>\varnothing:</tt>