# Thread: extended set operations and indexed set of families

1. ## extended set operations and indexed set of families

Does anyone know how to prove extended set operations & indexed set of families

2. What specific theorems do you have in mind?