Counterexample. 關於sieve的組合封閉 [HZSP]

如果我們考慮以下交換圖與 $R \mathbin{⪧} X$

$h \in R$ 不足以推導出 $f \in R$。對於sieve我們只能說如果 $f \in R$ 那 $h \in R$