theorem :: TOPDIM_1:13

for T being TopSpace
for G, G1 being Subset-Family of T
for I being Integer st G is finite-ind & G1 is finite-ind & ind G <= I & ind G1 <= I holds
ind (G \/ G1) <= I by Lm4;