Empty String Relation

An Empty String Relation is a Unary String Relation that is True if the set is the Empty String.

• See: Empty Set Relation.

---