Definition:Normal Set