The family contains the whole space and the empty set. A finite intersection of nontrivial members is . A nonempty union of rays is when the infimum is finite, and is the whole line when the infimum is . Empty unions and unions involving the whole space are already included. Hence is a topology. This is the upper-ray topology on the real line.
Articles by others on the same topic
There are currently no matching articles.