Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Adding reference
Anonymous
adding example from nForum discussion page
https://nforum.ncatlab.org/discussion/15308/material-set-theory/#Item_0
about a relation which is weakly extensional but not strongly extensional
Anonymous
added redirects for weakly extensional relation and strongly extensional relation and its plurals, as well as weakly extensional quotient and strongly extensional quotient and its plurals
Anonymous
1 to 7 of 7