theorem :: YELLOW14:15

for S, T being RelStr st S,T are_isomorphic & S is upper-bounded holds
T is upper-bounded