A '''basis''' ''B'' for a topology ''T'' on a set ''X'' is a collection of subsets of ''X'' (called '''basis elements''') such that | A '''basis''' ''B'' for a topology ''T'' on a set ''X'' is a collection of subsets of ''X'' (called '''basis elements''') such that |