% Author: Alfons Geser ([email protected]), National Institute of Aerospace
% Date: Oct 2004
complete_lower_semilattices[
T: TYPE,
(IMPORTING bounded_orders[T])
<=: (complete_lower_semilattice?[T])
]: THEORY
BEGIN
IMPORTING lower_semilattices[T, <=]
every_set_is_greatest_bounded_below: JUDGEMENT
set[T] SUBTYPE_OF (greatest_bounded_below?(<=))
END complete_lower_semilattices
¤ Dauer der Verarbeitung: 0.5 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.
|
