Identifying true statements about set membership and subsets