Specifications describing (labeled) combinatorial classes can be translated into equations satisfied by the corresponding (exponential) generating functions. The precise statement that we refer to is [1]}.
The following proposition summarizes the simplest cases of this translation,
which we will often use later in this paper.
