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