I wonder if there is a general formula for Reflexive Relation ?
I wonder how to prove it if there is one.