Consider a structure S2 where the domain of discourse is the set of rational numbers and we have a relation/predicate x less than y, denoted R(x,y).

Is (x) (y) (R(x, y) => ((z) (R(x, z) R(z, y)) ) ) true in S2? Explain.

Is (x) (y) (R(x, y) => ((z) (R(x, z) R(z, y)) ) ) true in the structure S1 introduced in previous problem? Explain.