Set Equality

Two sets are equal if they contain exactly the same element. Set equality is defined as

(<-> (=_ S T) (A. x (<-> (e. x S) (e. x T)))) /edit/peano_new/set_min.ghi/df-seq

Properties

Set Theory Overview

Login to edit