空关系一定指某非空集合A上的空关系,A上的关系R具有反自反性,要求对任意的A中的元素x,不属于R,空关系是没有任何序偶的关系,显然空关系具有上述特征,故空关系具有反自反性.
另一方面,A上的关系R具有自反性,要求对任意的A 中的元素x,均属于R,空关系是没有任何序偶的关系,显然空关系不具有上述特征,故空关系不具有自反性.
例如:A={1,2,3},R={,,,}具有自反性,这是因为,,均属于R,Q={,,}不具有自反性,因为不属于Q,Q也不具有反自反性,因为或属于Q.