We establish new identities for Moore–Penrose inverses of some operator products, and prove their associated reverse-order laws. Moreover, our results concerning the Moore–Penrose inverse of a product of two operators lead in finding a relation between the operators in the case where Greville's inclusions are made into equalities.