yǒu​xiàn​jí

finite set