consider f being sups-preserving Function of S,T;
take f ; :: thesis: ( f is sups-preserving & f is finite-sups-preserving )
thus ( f is sups-preserving & f is finite-sups-preserving ) ; :: thesis: verum