Lattice theory

A function f between two complete lattices (L1, 1)

and (L2, 2) is a monotone function if

• l1 1 l2 f (l1) 2 f (l2)

Fact: F is a monotone function

f

L1

L2

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen