for a, b being set holds Union ((a,b) followed_by {}) = a \/ b