Assertion: identity | /r/HasProperty | indiscernibility
Facets:
Source sentences:
text: Instead of taking our “reality” to be \(M\), and our “identity” to be indiscernibility in \(M\), we can move to the quotient structure, \(QM\), whose elements are the equivalence classes, \([x]\), for \(x\) in \(M\).