indexed family of sets proofs