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