序关系

扩展释义

序关系（ordering relation）也叫做“偏序关系”、“弱偏序关系”或“半序关系”是集合元素间的一种二元关系。设一非空集合S，其元素之间定义了一种二元关系→，若R满足：1.不可逆性：对任意a,b∈S，若有a→b，则没有b→a。2.传递性：对任意a,b,c∈S，若有a→b，b→c，则有a→c。3.有自反性：对任意a∈S，都有a→a。则→称为S上的一个偏序或偏序关系。