reconsider R = [:A,A:] as Relation of A by RELSET_1:def 1;
( ( for a being Element of A holds [a,a] in R ) & ( for a, b being Element of A holds
( [a,b] in R or [b,a] in R ) ) & ( for a, b, c being Element of A st [a,b] in R & [b,c] in R holds
[a,c] in R ) ) by ZFMISC_1:106;
hence not LinPreorders A is empty by Def1; :: thesis: verum