Empty Set

({/}) is a set containing no elements. It is defined as (=_ ({/}) ({|} x (F))) /edit/peano_new/set.gh/df-emptysetF.

Set Theory Overview

Login to edit