theorem :: XBOOLE_1:58

for X, Y, Z being set st X c< Y & Y c= Z holds
X c< Z