for a, b being Real st a < b holds
ex c being Real st
( c in DOM & a < c & c < b )