def Def.: Legyen V vektortér és U≤V. Ekkor (U∖{0})/∼ projektív altér. Dependencies: Vektortér projektivizáltja