consider i being Element of I;
consider a being set such that
A1: a in X . i by XBOOLE_0:def 1;
dom X = I by PARTFUN1:def 4;
then X . i in rng X by FUNCT_1:def 5;
then a in union (rng X) by A1, TARSKI:def 4;
hence not Union X is empty by CARD_3:def 4; :: thesis: verum