Four redundant axiomatics

Anton Cedilnik

We considerably shorten axiom systems for Metric space Real normed space Euclidean space Algebra with scalar involution