> That is of course if anyone actually knows anything about discrete maths.
That's like asking, does anyone here know anything about computer science?

If you look-up the definitions of reflexive,...