The general theory of algebraic structures has been formalized in universal algebra.
Všeobecná teória algebraických štruktúr bola formalizovaná odborom univerzálna algebra.