181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
A∪B = { x | x ∈ A ∨ x ∈ Y }、無制限内包なのでZFCでは定義として書けなさそう(証明することはできそう)