Sea un subconjunto no vacío "X" de un espacio vectorial "E" sobre "K", "X" se llama variedad lineal en E si