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