Definition:Min Operation (General Case)