Specification gen-secdomain-set

[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-secdomain

by morphism : set → secdomainset; : elem → secdomain; ∅ → ∅; ++ → ++; # → #; { } → { }; ∪ → ∪; ∩ → ∩; \ → \; -- → --; ∈ → ∈; ⊆ → ⊆; s → ds; s0 → ds0; 
            s1 → ds1; s2 → ds2; a → d; b → d0; c → d1;
end actualize