Set theory
集合论中一个偏序结构如果满足以下条件：