e/Real projective line

Information
has gloss	eng: In real analysis, the real projective line (also called the one-point compactification of the real line, or the projectively extended real numbers), is the set \mathbbR}\cup\\infty\}, also denoted by \widehat\mathbbR}} and by \mathbbR}P^1.
lexicalization	eng: real projective line
instance of	(noun) (mathematics) any set of points that satisfy a set of postulates of some kind; "assume that the topological space is finite dimensional" mathematical space, topological space

Meaning
Dutch
has gloss	nld: In de reële analyse wordt de reële projectieve lijn (ook wel de een-punt compactificatie van de reële lijn, of de projectief uitgebreide reële getallen genoemd), is de verzameling :\mathbbR}\cup\\infty\}, ook aangeduid door :\widehat\mathbbR}} en door :\mathbbR}P^1.
lexicalization	nld: reële projectieve lijn

Media
media:img	Real projective line.svg