Description: Express the predicate "the set B is a basis for a topology". (Contributed by NM, 17-Jul-2006)