No column/row is empty: 
1. $\forall x\exists yLyx$ :
Everyone is loved by someone.

2. $\forall x\exists yLxy$ :
Everyone loves someone.


The diagonal is
nonempty/full: 
5. $\exists xLxx$ :
Someone loves himself.

6. $\forall xLxx$ :
Everyone loves himself.


The matrix is
nonempty/full: 
7. $\exists x\exists yLxy$ :
Someone loves someone.
8. $\exists x\exists yLyx$ :
Someone is loved by someone.

9. $\forall x\forall yLxy$ :
Everyone loves everyone.
10. $\forall x\forall yLyx$ :
Everyone is loved by everyone.


Hasse diagram of the implications
