The partially ordered family of C M-homomorphisms.
We prove that the semirings of 1-preserving and of 0,1-preserving endomorphisms of a semilattice are always subdirectly irreducible and we investigate under which conditions they are simple. Subsemirings are also investigated in a similar way.
A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of only. We show how the method applies for proving Słupecki’s classical theorem by generating diagonal relations from each pair of k-tuples.
We find an independent base for three-variable equations of posets.