Eine Lawvere-Tierney-Topologie auf einem Topos mit einem Unterobjekt-Klassifizierer ist ein Morphismus mit folgenden drei Eigenschaften: Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic.