Es cualquiera de las dos partes en que una recta queda dividida por cualquiera de sus puntos. Es finita en una dirección pero infinita en la otra. Operativamente, una semirecta queda determinada por el punto de origen o punto inicial O, y cualquier otro punto B sobre ella.
La semirecta consiste de todos los puntos entre O y B, además de los puntos C en la recta OB y hacia el mismo lado de B respecto al origen O. En este sentido, los puntos en la semirecta tienen un orden de acuerdo a su distancia al origen en la dirección OB. A las semirectas también se les llama rayos.
Nota: Posiblemente sea de alguna utilidad pensar una semirrecta sin su origen (como lo hacen algunos autores) y, distinguirla así de "rayo", el cual sería una semirrecta a la cual se le añade el punto inicial. Consistente con esta definición es la definición de la recta numérica, donde el origen se identifica con el cero, la semirecta izquierda con los reales negativos y la semirrecta derecha con los reales positivos.