3 ms·
You can call U anything you want. It's by axiom schema of specification: for any set A, there some set B with a set C in B iff C in A.
by Shaniqua 11y ago
You can call U anything you want. It's by axiom schema of specification: for any set A, there some set B with a set C in B iff C in A.