áll Áll.: Létezik és egyértelmű a generált projektív generált altér. Biz.: Dependencies: Projektív altér