Para todo "a", "b" de "P", si se cumple que "a" esta relacionada con "b" entonces "b" esta relacionada con "a".