部分有序集

部分有序集（或偏序集）是设置与一个部分订单正式来说，部分有序集定义为有序对 ，其中被称为接地装置属于和是部分订单属于.

一个元素在偏序集中称为子集的上界属于如果每个，我们有类似地，子集的下限是一个元素这样，对于每一个,。如果有上界和下界，然后是偏序集称为有界。