sub tree and super tree