I came to know about 2 definitions of a subbasis of a topology. 1. A collection of subsets of X viz. S is said to be a subbasis of a topology T on X if S covers X and the finite intersections of elements of the subbasis form the basis elements (H.L.Royden). 2. If we consider the all the topologies on X containing S, then their intersection is also a topology on X and it is the smallest topology containing S. Then S is said to be a subbasis of the smallest topology, and the topology is said to be generated by S.
Now I want to prove their equivalency, i.e. S is a subbasis of a topology T iff T is generated by S. I have tried in the way: First let T is generated by S. Then by 2nd definition T is a topology containing S. Let B be the set of all finite intersections of elements of S.Then S is a subset of B and B is a subset of T (as T is a topology). LET T1 be the collection of possible unions of elements of B, we will show that T = T1. After this I am not able to proceed. Also I am unable to sketch the converse part. If something is wrong, please let me know, and also I hope to get help. Thank You.