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?
2026-04-04 11:24:43.1775301883
Reflexive reduct of preorder
40 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Yes.
$\neg r(x,x)$
$r(x,y)\vee x=y$ is transitive.