i need help with a simple proof i'm stuck with
~ is a reflexiv relation on a set M
~ is a equivalence relation
i did this:
" " since ~ is an equivalence relation
first argument because ~ is symmetric second because ~ is transitiv
are my thoughts correct? and how do i show the last two??