Isn't there something missing in the definition? "... the genus ... is the least integer g, so that < Statement not involving g> " ???