Assertion: set's element | /r/HasProperty | a subset of some element of ρ
Facets:
Source sentences:
text: and we say that α is finer than ρ and that ρ is coarser than α—if every element of α is a subset of some element of ρ.