- subrelation
-
n.
* * *
Universalium. 2010.
* * *
Universalium. 2010.
subrelation — n … Useful english dictionary
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia