From cf0cae8f7c290a58114bf942a428baf39daf36fc Mon Sep 17 00:00:00 2001 From: Matthew Mckee Date: Thu, 10 Apr 2025 19:20:59 +0100 Subject: [PATCH] Update docs about equivalence between gradual types to include that it is an equivalence relation --- docs/spec/concepts.rst | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/spec/concepts.rst b/docs/spec/concepts.rst index 058a5794f..ee230f231 100644 --- a/docs/spec/concepts.rst +++ b/docs/spec/concepts.rst @@ -298,11 +298,11 @@ visualize this analogy in the following table: * - ``B`` is :term:`equivalent` to ``A`` - ``B`` is :term:`consistent` with ``A`` -We can also define equivalence on gradual types. Two gradual types ``A`` and -``B`` are equivalent (that is, the same gradual type, not merely consistent -with one another) if and only if all materializations of ``A`` are also -materializations of ``B``, and all materializations of ``B`` are also -materializations of ``A``. +We can also define an **equivalence** relation on gradual types: the gradual +types ``A`` and ``B`` are equivalent (that is, the same gradual type, not +merely consistent with one another) if and only if all materializations of +``A`` are also materializations of ``B``, and all materializations of ``B`` +are also materializations of ``A``. Attributes and methods ----------------------