def

Def.: . által generált projektív altéren az -et tartalmzó legkisebb projektív alteret értjük.

Dependencies: