Definition:Maximal Set