It is common to make a definitional extension that adds the symbol ∅ {\displaystyle \varnothing } to the language of ZFC.
通常會以定義性擴展，將符號 ∅ {\displaystyle \varnothing } 加至ZFC語言中。