Singleton {a}

({} a) is a set containing a single number a. It is defined as (=_ ({} a) ({|} x (= x a))) /edit/peano_new/set_min.ghi/df-sn.

Set Theory Overview

Login to edit