👉 Explicit constructional definition

=== a constructional definition composed of already known symbols==

→ New symbol has same meaning as compound ones (= isogenous)