algebraic structures; equations; algebraic sets; radical ideal; coordinate algebra; Zariski topology; equationally Noetherian algebras; \(q_\omega\)-compactness; \(u_\omega\)-compactness; metacompact algebras; metacompact spaces; equationally Artinian algebras; prevarieties; varieties; free algebras; equational domains; Hilbert's basis theorem 