:: deftheorem defines circle JGRAPH_6:def 5 :
for a, b, r being Real holds circle (a,b,r) = { p where p is Point of (TOP-REAL 2) : |.(p - |[a,b]|).| = r } ;