*Definition [#ybd2cd57]
A subset family F of a topological space X is called star-finite if every member of F meets at most countably many members of F.