Galois theory and double central extensions.
An algebra is subregular alias regular with respect to a unary term function if for each we have whenever for each . We borrow the concept of a deductive system from logic to modify it for subregular algebras. Using it we show that a subset is a class of some congruence on containing if and only if is this generalized deductive system. This method is efficient (needs a finite number of steps).