Coproducts of bounded distributive lattices: infinite distributivity

Abstract

It is shown that, if two bounded distributive lattices satisfy the join-infinite distributive law (JID), then their coproduct also satisfies this law. In 1986, Yaqub proved that generalized Post algebras with a finite lattice of constants satisfy JID, and stated that, in general, it is not known whether a generalized Post algebra satisfies JID when its lattice of constants satisfies JID. In this note, the statement is proved.