Definition:Chain Complete Set