$T$ is the set of all finite unions of finite intersections of elements of $S$.