设$R$是集合$A$上的一个关系，如果$R$是自反的、反对称的、传递的，则称$R$为一个偏序关系（或称部分序关系、半序关系）。集合$A$在偏序关系$R$下构成一个偏序集
显然，一个偏序集的子集仍为偏序集
通常，将偏序关系$R$写做$\le$，读作“小于或等于”