Lattice operations for the stable set in substitutable matching markets via re-equilibration dynamics | Synapse