I've defined abbreviation
untimed discrete-event systems. Now, I need to talk about the larger class of
discrete-event systems, which includes the former one.
I'm wondering whether I can directly use
DES abbreviation (because I've already defined
UDES) or I have to first define
discrete-event systems then using its abbreviated form (because it's an independent concept whose abbreviation must be firstly defined).