- #1

- 50

- 1

From what basic assumptions should one start with in proving something? I'm thinking of starting with the definition of an equivalence relation. Would that even help with proving something like (a R b) R c = a R (b R c) for all a,b,c [itex] \in \mathbb{G} [/itex]?