A Model of Nondeterminism: Indexed Sets and Their Equivalence