Let:
Siris = set A by definition
non-Siris = set B by definition
Beatrice = element x by definition
Then:
A \ B is true.