Assertion: set's subset | /r/Synonym | filter
Facets:
Source sentences:
text: A non-empty subset \(G\) of \(P\) is called a filter if (i) every two elements of \(G\) are compatible, and (ii) if \(p\in G\) and \(p\leq q\), then also \(q\in G\).