theorem :: TAXONOM2:11

for Y being set
for F being Subset-Family of Y st F = {} holds
F is T_3 ;