See here for definition and proof that it is a Regular surface