The family of compact operators is a norm-closed, two-sided, *-ideal in L(H).
Η οικογένεια των συμπαγών τελεστών είναι νορμικά κλειστή, δίπλευρη, *-ιδανική στον L(H).