 These relations and operations are subject to the following three groups of axioms, which, taken together, form the system CA of axioms for constructive analysis, or the constructive real numbers (Bridges 1999).