% Author: Alfons Geser ([email protected]), National Institute of Aerospace
% Date: Oct 2004
complete_lattices[
T: TYPE,
(IMPORTING bounded_orders[T])
<=: (complete_lattice?[T])
]: THEORY
BEGIN
IMPORTING
% bounded_sets[T, <=],
complete_lower_semilattices[T, <=],
complete_upper_semilattices[T, <=]
every_set_is_tightly_bounded: JUDGEMENT
set[T] SUBTYPE_OF (tightly_bounded?(<=))
END complete_lattices
¤ Dauer der Verarbeitung: 0.17 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.
|
