Definition
A closed subbase S for a T_1 space X is said to be binary if for all with there exist A and B in M with .
Reference
J. van Mill and E. Wattel, ''An external characterization of spaces which admit binary
normal subbase'', Amer. J. Math. 100(1978), pp987-994.