Definition (Compatible). p and q are compatible if there is r≤p,q. Otherwise, we say they are incompatible (which we write as p⊥q).