הקבוצה הריקה

סמלה של הקבוצה הריקה

הקבוצה הריקה היא קבוצה שאין בה איברים, והיא מסומנת בסימן (שמקורו באות הנורווגית "Ø"[1], אין קשר לאות היוונית פי) או בצורה {}.

במסגרת האקסיומות של תורת הקבוצות נכללת אקסיומת הקיום: קיימת קבוצה A כך שלא קיים עבורו . כלומר, אקסיומה זו קובעת שקיימת קבוצה ריקה.

על-פי אקסיומת היחידות ניתן להוכיח את יחידות הקבוצה הריקה, כלומר קיימת רק אחת כזו.