... gi là không gian véc t trên trng K nu có hai phép toán: - Phép toán trong uuVVKααa),(: →×⋅vuvuVVV+→×+a),(:- Phép toán ngoài tho mãn các tiên đ sau vi mi Vwvu ∈,,và ... ngha phép toán cng và nhân vi s thc nh sau: )()())(( tgtftgf +=+ , )())(( tftfαα= , [ ]bat ,∈∀ Rõ ràng ,gf + []baCf,∈α, []baCgf,, ∈∀ , ∈∀α. Vi hai phép toán này ... tp con ca )(XPX. Các lut hp thành là phép hp, phép giao các tp con ca ∧∨,X và phép toán mt ngôi ' là phép ly phn bù ca tp con trong X. Khi đó ( )',,),( ∩∪XP là...