Puede clasificarse entonces cada conjunto regular en algún :