Page "Axiom of union" Paragraph 8
from
Wikipedia
If A is a nonempty set containing E, then we can form the intersection using the axiom schema of specification as
Page 1 of 1.
1.951 seconds.