for F being set holds UNION ({},F) = {}