for T being non empty TopSpace
for A being Subset of T holds card (Kurat14Set A) <= 14