(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

We're asked to prove that a few constructions of the sets a,b are themselves sets, stating which axioms we use to do so.

a) a\b

b)the function f:a->b

c)the image of f

2. Relevant equations

The following standard definitions of axioms of construction: Extensionality, Pair Set, Power Set, Union, Subset

3. The attempt at a solution

I think for a) we could define a\b = [tex]\{\bigcup (x \in P(a)) | x \notin b \}[/tex] so we would be using the axioms of power set, union, subset.

Now I have no idea how to do b), and I'd need to define that set first before I could do c). So if someone could point me in the right direction that would be great.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Set theory: Axioms of Construction

**Physics Forums | Science Articles, Homework Help, Discussion**