set f = I_{-4} ;
b1:
for x1, x2, y being Element of [.0,1.] st x1 <= x2 holds
I_{-4} . (x1,y) >= I_{-4} . (x2,y)
b2:
for x, y1, y2 being Element of [.0,1.] st y1 <= y2 holds
I_{-4} . (x,y1) <= I_{-4} . (x,y2)
( 0 in [.0,1.] & 1 in [.0,1.] )
by XXREAL_1:1;
hence
( I_{-4} is decreasing_on_1st & I_{-4} is increasing_on_2nd & I_{-4} is 00-dominant & not I_{-4} is 11-dominant & I_{-4} is 10-weak )
by b1, b2, I4Def; verum