366staxioms - A and B A ⊆ B iff ∀ x x ∈ A → x ∈...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
SET THEORY AXIOMS Math 366 1. (Extensionality Axiom) For any sets A and B , if x ( x A iff x B ) then A = B . 2. (Definition of the Emptyset) (a) is a set. (b) For all x , x 6∈ ∅ . 3. (Definition of Intersection) (a) For all sets A and B , A B is a set. (b) For all sets A and B , for all x , x A B iff x A and x B 4. (Definition of Union) (a) For all sets A and B , A B is a set. (b) For all sets A and B , for all x , x A B iff x A or x B 5. (Definition of Relative Complement) (a) For all sets A and B , A - B is a set. (b) For all sets A and B , for all x , x A - B iff x A and x 6∈ B 6. (Definition of ) For all sets
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: A and B , A ⊆ B iff ∀ x ( x ∈ A → x ∈ B ) 7. (Definition of Power Set) (a) For any set A , P ( A ) is a set. 1 (b) For any set A , for all x , x ∈ P ( A ) iff x ⊆ A 8. (Pairing Axiom) For all x , y , u and v , ( x, y ) = ( u, v ) iff x = y and u = v 9. (Definition of Cartesian Products) (a) For all sets A and B , A × B is a set. (b) For all sets A and B , for all x , x ∈ A × B iff ∃ a ∈ A ∃ b ∈ B s.t. x = ( a, b ) 2...
View Full Document

Page1 / 2

366staxioms - A and B A ⊆ B iff ∀ x x ∈ A → x ∈...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online