The next four axioms describe the equality relation.
Τα επόμενα τέσσερα αξιώματα περιγράφουν τη σχέση ισότητας.