transitive reduction and Hasse diagram introduction