Definition:Solution Set