Besonderhede van voorbeeld: -3094163345230856738

German

Nach 20.1.7 ist f (X) eine nach unten gerichtete Menge (14.1.1) und damit cofiltrierend.

English

By 20.1.7, 7(X) is also a set that is directed to the left (14.1.1) and thus cofiltered.