language closed under union