Description: Dominance is reflexive. (Contributed by NM, 18Jun1998)
Ref  Expression  

Assertion  domrefg   ( A e. V > A ~<_ A ) 
Step  Hyp  Ref  Expression 

1  enrefg   ( A e. V > A ~~ A ) 

2  endom   ( A ~~ A > A ~<_ A ) 

3  1 2  syl   ( A e. V > A ~<_ A ) 