Definition:Toset