If P vs NP remains open, the semantic content of 'proper subset' in complexity theory may be underde...