On Coincidence Points of Mappings Between Partially Ordered Sets