for x being Element of TrivCLRelStr holds x <= x

proof

let x be Element of TrivCLRelStr; :: thesis: x <= x
[x,x] in id {{}} by RELAT_1:def 10;
hence x <= x by ORDERS_2:def 5; :: thesis: verum

end;

hence TrivCLRelStr is reflexive by YELLOW_0:def 1; :: thesis: verum