Rewrite 'subset' and '[' functions