hierarchy

preorder defined on a set