Specification reflistset

[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 references
by morphism : elem → references; : set → referencesset; ∅ → ∅; ++ → ++; # → #; { } → { }; ∪ → ∪; ∩ → ∩; \ → \; -- → --; ∈ → ∈; ⊆ → ⊆; a → refs; 
            b → refs1; c → refs2; s → refsset; s0 → refsset0; s1 → refsset1; s2 → refsset2;
end actualize