Basic real and abstract analysis