Wesentliche Eigenschaften der abstrakten Algebra: Entfernung konkreter Elemente, Untersuchung abstrakter algebraischer Strukturen