Reflexiva a = a