Stopping times are hitting times: a natural representation

There exists a simple, didactically useful one-to-one relationship between stopping times and adapted c`agl`ad (LCRL) processes that are non-increasing and take the values 0 and 1 only. As a consequence, stopping times are always hitting times.