Partial linear space (source code)

= Partial linear space
{wiki=Partial_linear_space}