take S --> (Top T) ; :: thesis: ( S --> (Top T) is directed-sups-preserving & S --> (Top T) is infs-preserving )
thus ( S --> (Top T) is directed-sups-preserving & S --> (Top T) is infs-preserving ) ; :: thesis: verum