Specification keyindex-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
   key-index

   
by morphism
   :elem → keyindex; 
   ++ → ++; 
   { } → { }; 
   -- → --; 
   ∈ → ∈; 
   a → ki; 
   b → ki0; 
   c → ki1
end actualize