Specification domains

[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 domain
by morphism : set → domains; : elem → domain; ∅ → ∅; ++ → ++; # → #; { } → { }; ∪ → ∪; ∩ → ∩; \ → \; -- → --; ∈ → ∈; ⊆ → ⊆; s → domsvar; 
            s0 → domsvar0; s1 → domsvar1; s2 → domsvar2; a → domvar; b → domvar0; c → domvar1;
end actualize