Added mathematical background

Expanded the mathematical explanation of the structure and how it compares to the notion of subsets.