Cho kgđc ( X, k . k ) và X 0 là một kgvt
con của X . Ký hiệu k . k 0 là thu hẹp của k . k trên X 0 thì
k . k 0 là một chuẩn trên X 0 . Cặp ( X 0 , k . k 0 ) gọi là kgđc
con của ( X, k . k ) .
4.2 Tích của hai kgđc
Cho các kgđc ( X 1 , k . k 1 ) , ( X 2 , k . k 2 ) . Tích Đề các X[r]