Den första ukasen omtalar denmängd