: We show that the classical axiom which characterizes pretopological convergence spaces splits into two axioms in the general Heyting algebra-valued case. Furthermore we present a generalization of Kowalski’s diagonal condition to the lattice-valued case.