The implementation of social choice functions via social choice correspondences: A general formulation and a limit result