# Reflexivity

## Recommended Posts

Posted (edited)

Please help check my answers, it is not cut and paste, I wrote it through latex and I used a snipping tool to cut and paste it

Edited by Lizwi

##### Share on other sites

Reflexivity and transitivity look good, but "obviously" won't cut it for symmetry. You should cite that set intersection is commutative for (b).

##### Share on other sites

Thanks very much, I see the mistake in (b). Because the relation means an empty set.

##### Share on other sites
Posted (edited)

This site supports Mathjax with the "math" and "\math" tags in square brackets surrounding your markup.

In (1) your proof is fine but I'd reword it for clarity. You wrote, "I assumed $A = \{2,3,4,5]\}$ is the subset of the power set ..."

I would reword that as, "Suppose  $A = \{2, 3, 4, 5\}$. Then $A \cap A = A \neq \emptyset$. Or you could just say, For any nonempty set  $A$, we have $A \cap A = A \neq \emptyset$. That would be sufficient for me.

Also note that you meant that $A$ is an element of the power set. It's a subset of the integers, but an element of the power set.

Edited by wtf

##### Share on other sites
10 hours ago, wtf said:

Also note that you meant that A is an element of the power set. It's a subset of the integers, but an element of the power set.

That's a good point. This is an important distinction and one that technically makes the proof incorrect. A is an element of P(Z), not a subset. A is a subset of Z. The elements of P(Z) are the subsets of Z.