Union F c= X ;
hence Union F is Subset of ; :: thesis: verum