Fixed mixup between notation of subset and proper subset.