The family of languages satisfying "Bar-Hillel's" lemma