# Wave6 Fifth Layer: Lagrange, Higher Derivatives, Hausdorff Spaces, Continuous CDFs, Catalan Numbers, Quadratic Residues and NFAs Complete seven traceable knowledge objects in dependency order on the existing number-system and function foundations. This is a suggested learning sequence, not a universal logical dependency or a formal proof. - Stage 1 · required ## [Finite group](/en/mko/mko-finite-group/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-group) [Concept guides](/en/derivations/?q=mko-finite-group) - Stage 1 · required ## [Subgroups and group homomorphisms](/en/mko/mko-subgroup-homomorphism/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-subgroup-homomorphism) [Concept guides](/en/derivations/?q=mko-subgroup-homomorphism) - Stage 1 · required ## [Natural-number divisibility](/en/mko/mko-natural-divisibility/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-natural-divisibility) [Concept guides](/en/derivations/?q=mko-natural-divisibility) - Stage 1 · required ## [Cardinality comparison of sets](/en/mko/mko-cardinality-comparison/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-cardinality-comparison) [Concept guides](/en/derivations/?q=mko-cardinality-comparison) - Stage 1 · required ## [Quotient set](/en/mko/mko-quotient-set/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-quotient-set) [Concept guides](/en/derivations/?q=mko-quotient-set) - Stage 1 · required ## [Real derivatives at a point and finite difference quotients](/en/mko/mko-derivative/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-derivative) [Concept guides](/en/derivations/?q=mko-derivative) - Stage 1 · required ## [Differentiating polynomial sums, products, and compositions](/en/mko/mko-derivative-rules/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-derivative-rules) [Concept guides](/en/derivations/?q=mko-derivative-rules) - Stage 1 · required ## [Mathematical induction](/en/mko/mko-mathematical-induction/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-mathematical-induction) [Concept guides](/en/derivations/?q=mko-mathematical-induction) - Stage 1 · required ## [Topological space](/en/mko/mko-topological-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-topological-space) [Concept guides](/en/derivations/?q=mko-topological-space) - Stage 1 · required ## [Neighborhood](/en/mko/mko-neighborhood/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-neighborhood) [Concept guides](/en/derivations/?q=mko-neighborhood) - Stage 1 · required ## [Quantifiers and explicit domains](/en/mko/mko-quantifier/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-quantifier) [Concept guides](/en/derivations/?q=mko-quantifier) - Stage 1 · required ## [Cumulative distribution function](/en/mko/mko-cumulative-distribution-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-cumulative-distribution-function) [Concept guides](/en/derivations/?q=mko-cumulative-distribution-function) - Stage 1 · required ## [Point values and continuity of real functions](/en/mko/mko-continuity/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-continuity) [Concept guides](/en/derivations/?q=mko-continuity) - Stage 1 · required ## [Function limits on punctured real domains](/en/mko/mko-function-limit/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-function-limit) [Concept guides](/en/derivations/?q=mko-function-limit) - Stage 1 · required ## [Usual order on the real numbers](/en/mko/mko-order-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-order-relation) [Concept guides](/en/derivations/?q=mko-order-relation) - Stage 1 · required ## [Sigma-algebras and measure spaces](/en/mko/mko-sigma-algebra-measure-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-sigma-algebra-measure-space) [Concept guides](/en/derivations/?q=mko-sigma-algebra-measure-space) - Stage 1 · required ## [Recurrence relation](/en/mko/mko-recurrence-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-recurrence-relation) [Concept guides](/en/derivations/?q=mko-recurrence-relation) - Stage 1 · required ## [Binomial theorem](/en/mko/mko-binomial-theorem/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-binomial-theorem) [Concept guides](/en/derivations/?q=mko-binomial-theorem) - Stage 1 · required ## [Basic counting principles](/en/mko/mko-counting-principle/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-counting-principle) [Concept guides](/en/derivations/?q=mko-counting-principle) - Stage 1 · required ## [Natural-number congruence modulo a positive modulus](/en/mko/mko-modular-congruence/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-modular-congruence) [Concept guides](/en/derivations/?q=mko-modular-congruence) - Stage 1 · required ## [Prime natural number](/en/mko/mko-prime-number/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-prime-number) [Concept guides](/en/derivations/?q=mko-prime-number) - Stage 1 · required ## [Natural-number powers and principal square roots](/en/mko/mko-power-root/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-power-root) [Concept guides](/en/derivations/?q=mko-power-root) - Stage 1 · required ## [Deterministic finite automaton](/en/mko/mko-finite-automaton/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-automaton) [Concept guides](/en/derivations/?q=mko-finite-automaton) - Stage 1 · required ## [Binary relations and set projections](/en/mko/mko-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-relation) [Concept guides](/en/derivations/?q=mko-relation) - Stage 1 · required ## [Subset](/en/mko/mko-subset/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-subset) [Concept guides](/en/derivations/?q=mko-subset) - Stage 2 · optional ## [Lagrange theorem for finite groups](/en/mko/mko-lagrange-theorem-finite-groups/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Equal-size left cosets of a subgroup H partition the finite group G, so |G|=[G:H]*|H| and |H| divides |G|. [Related questions](/en/explore/?mko=mko-lagrange-theorem-finite-groups) [Concept guides](/en/derivations/?q=mko-lagrange-theorem-finite-groups) - Stage 3 · optional ## [Higher-order derivative](/en/mko/mko-higher-order-derivative/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Define each existing finite derivative recursively by f^(0)=f and f^(n+1)=(f^(n))'. [Related questions](/en/explore/?mko=mko-higher-order-derivative) [Concept guides](/en/derivations/?q=mko-higher-order-derivative) - Stage 4 · optional ## [Hausdorff space](/en/mko/mko-hausdorff-space/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) A topological space is Hausdorff if every two distinct points have disjoint open neighborhoods. [Related questions](/en/explore/?mko=mko-hausdorff-space) [Concept guides](/en/derivations/?q=mko-hausdorff-space) - Stage 5 · optional ## [Continuous real distribution function](/en/mko/mko-continuous-real-distribution-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Here a continuous distribution means that its CDF is continuous; the CDF must still be nondecreasing, right-continuous and have endpoint limits0 and1. [Related questions](/en/explore/?mko=mko-continuous-real-distribution-function) [Concept guides](/en/derivations/?q=mko-continuous-real-distribution-function) - Stage 6 · optional ## [Catalan numbers](/en/mko/mko-catalan-numbers/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) With C_0=1, the convolution recurrence and two exact closed forms define the same zero-based Catalan sequence. [Related questions](/en/explore/?mko=mko-catalan-numbers) [Concept guides](/en/derivations/?q=mko-catalan-numbers) - Stage 7 · optional ## [Quadratic residue](/en/mko/mko-quadratic-residue/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) Under this odd-prime nonzero convention, a class is a quadratic residue when its normalized nonzero value is a square of a nonzero class modulo p. [Related questions](/en/explore/?mko=mko-quadratic-residue) [Concept guides](/en/derivations/?q=mko-quadratic-residue) - Stage 8 · optional ## [Nondeterministic finite automaton](/en/mko/mko-nondeterministic-finite-automaton/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261111%2F) An epsilon-NFA relates a state and input symbol or epsilon to possible successor states; one full-input final path suffices for acceptance. [Related questions](/en/explore/?mko=mko-nondeterministic-finite-automaton) [Concept guides](/en/derivations/?q=mko-nondeterministic-finite-automaton) Path source & statuspath-pulse-foundations-20261111 · candidate [Original paths JSON](/data/architecture/learning-paths.json)