We give the notion of an internal meet semi lattice in a finitely complete category and precisely in the category of STop and prove some results about such operators, more specifically: In the current Section 1, we give the definitions of objects and morphisms of the category ST op, as given in [7], as well as some lattice theoretic preliminaries
