For to Banach-rom slik at sier vi at X er i Y dersom for alle , for en konstant , og for hver begrenset følge i X har denne en konvergent delfølge: .