{ ( x , y ) ∈ X × Y ∣ T x = y }
closed graph theorem
Satz vom abgeschlossenen Graphen
theorem
mathematischer Satz