Kedua jenis selimut saling diterjemahkan melalui \(U\mapsto A\cap U\text{,}\) dan pemilihan subselimut berhingga bertahan dalam kedua arah.