A>B and B > C then A > C

This is transitive.

Deetailed link is here: http://en.wikipedia.org/wiki/Transitive_relation

By the way, set inclusion and equality are transitive.

Any issues on the pic?
Go all the way http://tootrivial.blogspot.in/2014/02/intension-vs-extension.html