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