Therefore, 'proper subset' relations are model-relative artifacts, not intrinsic mathematical facts ...