# Homotopy Type Theory real geometric algebra > history (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

# Contents

## Definition

Given an a algebraic sequentially limit Cauchy complete Archimedean ordered field  F \mathbb{R}, a algebraic real limit geometric algebra is a  F \mathbb{R}-geometric algebra .$A$ such that the limits preserve the ring structure and the grade projection operation:

$\prod_{f:F \to A} \prod_{n:\mathbb{N}} \langle \lim_{x \to c} f(x) \rangle_n = \lim_{x \to c} \langle f(x) \rangle_n$