All other axioms can be checked in a similar manner in both examples.
Όλα τα άλλα αξιώματα μπορούν να ελεγχθούν με παρόμοιο τρόπο και στα δύο παραδείγματα.