$ \forall x \forall y((x,y) \in R \to (y,x) \notin R) $
一般用于比较的关系,如“A比B高”,“A比B跑得快”等,满足非自反关系。注意,比较中不可以包含“相等”关系,“A比B高或者跟B一般高”不是非对称。
$A \times B$产生的集合中,共有 m*n 个元素。使用这些元素中的任意个组成的集合,都是满足题意的关系,所以一共有 ${2^{mn}}$个不同的关系。
{ (a,b) | b整除a }
{ (a,b) | a不能整除b}
因为R显然是对称的,所以=R
若,则,即a与b不相邻
没有学函数,暂时不回答
{(1,1), (2,1), (2,2), (3,1), (3,2), (3,3)}
{ (1,1), (1,2), (2,1), (2,2) }