设R为非空集合A上的关係，如果R是自反的、反对称的和传递的，则称R为A上的偏序关係，简称偏序，记作≦。 一个集合A与A上的偏序关係R一起叫作偏序集，记作或。 设≦为A上的偏序关係，如果有序对属于偏序，可记作x≦y，读作“x小于等于y”，此处小于等于是指x、y在偏序中位置的先后。
