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