theorem :: YELLOW14:11

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