Die Arbeit zeigt, dass koinduktive Prädikate ein topologisches Äquivalent in Form von koinduktiv erzeugten Positivitätsrelationen haben, die von G. Sambin eingeführt wurden, um abgeschlossene Teilmengen in punktfreier Topologie darzustellen.
