Back

Ideal extension consists, for the sake of their completeness: here we have simply to point.