(Q, 0, +, <) と (Q^+, 1, ✕, <) は同形になるか?