设有非空集合A上的全域关系S,则关系S不是