Good quotient relations and power algebras


I. Bošnjak, R. Sz. Madarasz




In this paper we study the sets of good, very good, Hoare good and Smyth good relations on an algebra. In particular, we give a necessary and sufficient condition for the $\subseteq$-ordered set of good relations on an algebra to be a lattice. Also, we investigate the sets of very good, Hoare good and Smyth good relations in respect to various ways of powering.