Olabilir, yalasap olmayan da tum ozellikklerin ispatini vermek mi? Ben tam tanimini aramistim ama en ilkel tanimi "cofinite topology" olarak verilmis. Yani tanim hep varyete uzerinden verilmis. Oyle bir $X$ olsun, $\tau$ su ozellikleri saglasin diye herhangi bir spesifik olmayan tanim gormedim, cofinite disinda. Gormedim referansi benim kisa sureli arastirmalarim, yoksa var da olabilir yani.