We will write B(I, O) where I and O characterize a subclass of homomorphisms for the set of bimorphisms for which the input homomorphism is in the subclass indicated by I and the output homomorphism is in the subclass indicated by O.
b(D, M) is the set of bimorphisms for which the input homomorphism is a delabeling but the output homomorphism can be arbitrary.