Specification gen-names

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

actualize set-union

with gen-name
by morphism : elem → name; : set → names; ∅ → ∅; ++ → ++; # → #; { } → { }; ∪ → ∪; ∩ → ∩; \ → \; -- → --; ∈ → ∈; ⊆ → ⊆; a → nam; b → nam1; c → nam2; 
            s → nams; s0 → nams0; s1 → nams1; s2 → nams2;
end actualize