Describir: Basic real and abstract analysis