Description: Membership in the base set of a structure product. (Contributed by Stefan O'Rear, 24-Jan-2015)