Petunjuk U.39.1.

Tambahkan komplemen subruang tertutup pada selimut relatif. Untuk anti-diagonal, periksa bahwa ia tertutup, diskret, dan tak terhitung.
in-context