perhaps empty relation is not well defined define a relation on the integers such that for all integers a and b a b is false and are vacuously satisfied but is false so this is not an equivalence relation the error in your proof is thus the assumption that there exists a c such that a c if there is well if for all a there exists c such that a c then we have an equivalence relation