* Proved that iso is equivalence relation.
* Added the definition of terminal objects and proved its basic properties.