任意の集合 "x" について、"x" 上の有界集合系あるいは界相("bornology")とは、"x" の部分集合族bで、