theorem :: YELLOW14:14

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