嚴格介於

設 為一個偏序集，並設 。如果 ，則稱 介於 和 之間。如果 介於 和 之間，且 ，則稱 嚴格介於 和 之間。