Maybe it is better to call this '<Ordinal> in <enumeration type> is now forbidden'. 1..3 is not a set, but a (sub)range.