A \cup B := \{ x : x \in A \vee x \in B \}