Added some basic definitions about equivalence
Another one bites the dust