är — såsom förut omnåmts — namnet på ett underbildning