## Symmetric Closure

Sequences, counting (including probability), logic and truth tables, algorithms, number theory, set theory, etc.
thesevensparks
Posts: 1
Joined: Sat Sep 24, 2011 7:23 am
Contact:

### Symmetric Closure

I can't seem to find the way to approach this problem. Because it has symbols I don't know how to type here, I have attached an image here instead. Please help me if you can. Any input would be greatly appreciated. Thank you.

stapel_eliz
Posts: 1628
Joined: Mon Dec 08, 2008 4:22 pm
Contact:
I can't seem to find the way to approach this problem. Because it has symbols I don't know how to type here, I have attached an image here instead.
To learn how to format math as text, try here. To learn how to use some LaTeX formatting, try this post. LaTeX produces this:
$\mbox{1. Prove: Let }\, R\, \mbox{ be a relation on a set }\, A.\,$

$\mbox{ The symmetric closure of }\, R\, \mbox{ is the relation }$

$\, R \cup R^{-1};\,\mbox { i.e. }\, Cl_s(R)\, =\, R \cup R^{-1}.$
Note: The above reads like a definition rather than a theorem ("this is defined as being that"). Are you supposed to be proving that the symmetric closure can be stated in this manner? If so, what definition and other information are you provided regarding symmetric closures?

Thank you!