哈斯图

关系图，把自环都去掉，如果 $A\le B$ 那么大的放在上方，不用箭头了。因为传递性，不用画出中间存在间隔（传递）的边

箭头如果加上是向上指的