# Homework Help: Question about the axioms of set theory

1. Jan 25, 2016

### cragar

1. The problem statement, all variables and given/known data
For each structure, draw a directed graph representing the membership relation. Then determine which of the following axioms is satisfied by the structure: Extensionality, Foundation, Pairing, Union
U= {a,b} a in b , and b in a

3. The attempt at a solution
The directed graph would be an arrow from a to b and then an arrow from b to a.
This fails foundation because a cant be in b and b cant be in a.
It satisfies Extensionality because a is a member of b and vice versa.
it satisfies pairing and union

2. Jan 27, 2016

### andrewkirk

I agree with your conclusions, but your justification of them is very terse and doesn't make it clear how the axioms that fail do so. Hence it may not get full marks from the lecturer. I would suggest writing out the justifications more fully, in symbolic form rather than prose. In particular, justifying that Pairing is not violated takes several steps, as you need to show that the set {a} is part of the structure.