Besonderhede van voorbeeld: -6873623613269051014

German

Da die gerichtete Menge G partiell geordnet ist, führt 'l'] ~ y und y ~ a zu 'l'] ~ a.

English

Since the directed set G is partially ordered , 11 ~ Y and y ~ a implies 11 ~ a.