Binary operations and lattice structure for a model of matching with contracts