二元关系设S是一个非空集合,R是关于S的元素的一个条件.如果对S中任意一个有序元素对（a,b）,我们总能确定a与b是否满足条件R,就称R是S的一个关系（relation）.如果a与b满足条件R,则称a与b满足条件R,则称a与b有关系R...