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.