Assertion: set's element | /r/Synonym | compatible
Facets:
Source sentences:
text: Two elements, \(p\) and \(q\), of \(P\) are called compatible if there exists \(r\in P\)