:: deftheorem defines UBD-Family JORDAN10:def 1 :
for C being compact non horizontal non vertical Subset of (TOP-REAL 2) holds UBD-Family C = { (UBD (L~ (Cage (C,n)))) where n is Nat : verum } ;