Alteya
Разумеется, квантор отсутствия всеобщности подразумевается по умолчанию.
С другой стороны, из 3х перечисленных признаков, бинарным является только последний, так что говорить об удовлетворении требованиям можно только с оговорками и натяжками. :-)
При всей моей нежной любви к лично Вашим тектам ... ;-)