有界型空間
空間 X および Y の有界集合系 B1 および B2 がそれぞれ与えられているとき、写像 f: X → Y が有界写像であるとは、f が X の任意の B1-有界集合を Y の B2-有界集合へ写すときに言う。さらに加えて f が全単射ならば逆写像 f もまた有界写像であり、このとき f は界相同型 (bornological isomorphism) であると言う。