diff --git a/content/reference.md b/content/reference.md index 0afb904..bd20484 100644 --- a/content/reference.md +++ b/content/reference.md @@ -1141,7 +1141,7 @@ Note: Ord only compares the primal component. #### INTO [CLASS] INTO :A :B -INTO imples *every* element of :a can be represented by an element of :b. This conversion might not be injective (i.e., there may be elements in :a that don't correspond to any in :b). +INTO imples *every* element of :a can be represented by an element of :b. This conversion might not be bijective (i.e., there may be elements in :b that don't correspond to any in :a). Methods: - INTO :: (:A → :B)