Formal subset specification

The need for one is negligible

Would contribute to confusion rather than simplicity