离散数学中 R是A上的二元关系 R+是什么意思(+在右上角)