【正确答案】二元关系≤_R的定义为a≤_Rb当且仅当a≤b，由此可知，(A，≤_R)是偏序集．事实上，因(A，≤)是一个格，所以(A，≤)是偏序集．从而对任意的a∈A，因a≤a，有a≤_Ra．所以自反性成立．
   若有a≤_Rb，则b≤_Ra不存在．否则就有若a≤b，则b≤a，而(A，≤)是偏序集．与假设矛盾，所以反对称性成立．
   若有a≤_Rb，且b≤_Rc，由题意有a≤b，且b≤c，因(A，≤)是偏序集，故有a≤c，即a≤_Rc．所以传递性成立．
   a∧b为(A，≤_R)中的a与b的最大下界，当且仅当a∧b为(A，≤)中的a与b的最大下界；a∨b为(A，≤_R)中的a与b的最小上界，当且仅当a∨b为(A，≤)中的a与b的最小上界．而a∧b，a∨b在(A，≤)中存在，则a∧b，a∨b在(A，≤_R)中存在．所以(A，≤_R)也是一个格．