$X\neq\emptyset $ küme ve $\preceq\subseteq X^2$ olmak üzere eğer $(X,\preceq)$ preordered set $($yani $\preceq$ bağıntısı yansıyan ve geçişken$)$ ise $$\tau:=\{A|(\forall x,y\in X)([x\in A\wedge x\preceq y]\Rightarrow y\in A)\}$$ ailesinin bir topoloji olduğunu gösteriniz.