for a, b, c being ExtReal st a <= b & b <= c holds
a <= c