theorem :: YELLOW14:12

for S, T being non empty RelStr st S,T are_isomorphic & S is with_suprema holds
T is with_suprema