This may be stupid question but I know the axioms of metric

there is one which states d(x,y) > 0 ->

and you choose a small delta and bit larger epsilon and the bigger delta gets the smaller epsilon until it reaches m1 and thusly m1 does not contain m2?

I am not trying to sound stupid or anything but its just then I get these generalized assignments I crash and burn, but then there is assignment with numbers then everything is fine.

I don't suppose you could explain to me in a example on how is much proceed? then everything works much better