任意のU,V,Wに対して、UがVを含みVがWを含むならばUはWを含むから、U≤VかつV≤WならばU≤Wが成り立つ。
对于所有U,V,W：如果U≤V而V≤W，则U≤W；因为如果U包含V而V包含W则U包含W。