A quotient-universal digital topology