=+3. Let X,Y E P(V) be such that X C_ Y. X is said to generate Y if Y = C(X), where C is defined in Exercise 2. If X generates Y and there does not exists X' C X which generates Y, then X is called a