take set A={ 1,2,3} aRb iff a<b
so define on this relation a set
v={(1,2),( 2,3 ),(1,3) }
so the above set v is ir reflexive and transitive now to check this set is ATS or not
ATS : (a<b)&(b<a) --------> a= b
CLEARLY LHS of the above implication is false so the above implication become true . so statement is true ! if u find mistake than let me know .