5.1.1. 1 * 2 = - 1 1 = 2 * 1. Αρα δεν είναι αντιμεταθετική.
1 * (1 * 1) = 1 * 0 = 1 - 1 = 0 * 1 = (1 * 1) * 1. Αρα δεν είναι προσεταιριστική.
Εστω ότι υπάρχει ταυτοτικό στοιχείο e στο Q. Τότε
(ι) 1 * e = 1 1 - e = 1 e = 0 και (ιι) e * 1 = 1 e - 1 = 1 e = 2!
Aρα η * δεν έχει ταυτοτικό στοιχείο.