|
%------------------------------------------------------------------------------
% inverse_image_Union
%
% Author: David Lester, Manchester University
%
% Version 1.0 14/06/09 Initial Version
%------------------------------------------------------------------------------
inverse_image_Union[S,T:TYPE]: THEORY
BEGIN
f: VAR [S->T]
y: VAR set[S]
X: VAR setofsets[T]
inverse_image_Union: LEMMA inverse_image(f,Union(X)) =
Union({y | EXISTS (x:(X)): y=inverse_image(f,x)})
END inverse_image_Union
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
