- #1
Aaron7
- 14
- 0
Homework Statement
I am on the final part of a question and I have to prove that the following is a irreflexive symmetric relation over A or if it is not then give a counter example.
R is given as an irreflexive symmetric relation over A.
Relation: {(X, Y) | X ⊆ A ∧ Y ⊆ A ∧ ∀x ∈ X.∀y ∈ Y.(x, y) ∈ R}
Homework Equations
See above.
The Attempt at a Solution
I have worked out the if X x Y ⊆ R then (X,Y) is put into the relation.
I worked out a simple example to see if it was worth trying to prove and it seems to be correct.
I am having trouble getting my head around trying to make a start to prove this.
Many thanks.