Hi. Thanks for reading... I'm having no progress with this one.

Let X be a set, and S, and subset of P(X). Meaning, S is a set of subsets of X. (P(X) = all the subsets of X)

I need to prove that there exists a

**minimal topology**, marked "T(S)", where S is a subset of T(S), and if there's another T' (=topology) of which S is a subset of => T(S) is a subset of T' (That's the idea of minimal - it's written better in mathematics but I don't know yet how to write it here)

Hope I explained it correcty....

I was also given a hint: try to immitate the definition of a closure of a group in a topological space. The definition I got is: cl(A)= intersection {F | A is a subset of F, F is closed}. We also proved later on that cl(A) = unification (A, A'), and cl(A) = unification (A, d(A)), where d(A) is the surface of A.

Thank you very much for reading, and even more if you dare to help!

Tomer.