Reflexive reduct of preorder Suppose P is a preorder on a set S, a reflexive and transitive relation. Suppose we subtract from P the identity relation and get a relation Q on S. Is the class of all such relations a first-order axiomatizable class?

Yes.

1. $\
eg r(x,x)$

2. $r(x,y)\vee x=y$ is transitive.