User:Dfeuer/Definition:Zero

Definition
Zero, written $0$, is (in this context) another name for the User:Dfeuer/Definition:Empty Class.