% Author: Alfons Geser ([email protected]), National Institute of Aerospace
% Date: Oct 2004
complete_upper_semilattices[
T: TYPE,
(IMPORTING bounded_orders[T])
<=: (complete_upper_semilattice?[T])
]: THEORY
BEGIN
IMPORTING upper_semilattices[T, <=]
every_set_is_least_bounded_above: JUDGEMENT
set[T] SUBTYPE_OF (least_bounded_above?(<=))
END complete_upper_semilattices
¤ Dauer der Verarbeitung: 0.14 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.
|
