take R = [:X,X:]; :: thesis: ( R is Relation of X & not R is irreflexive & not R is asymmetric )
R c= R ;
hence ( R is Relation of X & not R is irreflexive & not R is asymmetric ) ; :: thesis: verum