Nested Set Theorems