let x, y be Element of [.0,1.]; :: thesis: max ((1 - x),y) in [.0,1.]
1 - x in [.0,1.] by FUZNORM1:7;
hence max ((1 - x),y) in [.0,1.] by FUZNORM1:2; :: thesis: verum