Eine Relation ist symmetrisch, wenn für alle X und Y gilt, dass wenn das Paar (X Y) zur Relation gehört, dann auch das Paar (Y X) zur Relation gehört.