Stav dette: Basic real and abstract analysis