Leibniz operator
operator that assigns to a given theory of a given sentential logic (i.e. a free algebra with a consequence operation on its universe) the largest congruence on the algebra that is compatible with the theory
operator that assigns to a given theory of a given sentential logic (i.e. a free algebra with a consequence operation on its universe) the largest congruence on the algebra that is compatible with the theory