|
partial_order_lift[T:TYPE]: THEORY
BEGIN
IMPORTING lift_props[T],
directed_orders[T],
directed_orders[lift[T]]
<=: VAR (directed_complete_partial_order?[T])
lift(<=):(pointed_directed_complete_partial_order?[lift[T]])
= (LAMBDA (x,y:lift[T]):
x = bottom OR (y /= bottom AND down(x) <= down(y)))
END partial_order_lift
¤ Dauer der Verarbeitung: 0.1 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.
|
