Semigroup Forum, 102, no. 3, 916–924 (2021), 916–924 https://link.springer.com/article/10.1007%2Fs00233-021-10167-0 Topological procedures to relate pseudoinequalities that define a pseudovariety of ordered algebras with inequalities that ultimately define it, and vice-versa, are presented.