; i.e.

is a "selection" from

if every member of

belongs to some member of

, and if