empty-intersection

Vocabulary

classes.algebra.private

Definition

USING: accessors sequences ;

IN: classes.algebra.private

PREDICATE: empty-intersection < anonymous-intersection
    participants>> empty? ;