Text this: A topology related to implication and upsets on a bounded BCK-algebra