A fixed point theorem in partially ordered sets and some applications to matrix equations | Synapse