| 单词 | bijection |
| 释义 | BETA Examples ofbijectionDictionary> Examples ofbijection bijectionisn’t in the Cambridge Dictionary yet. You can help! Add a definition Because the single encoding judgement is functional in both directions, these functions are mutually inverse, yielding abijection. From theCambridge English Corpus A permutation is abijectionfrom a finite set to itself. From theCambridge English Corpus There is a natural extension of thisbijectionto all positive formulas by induction, which we give in the following definition. From theCambridge English Corpus It is an injection but not necessary abijection. From theCambridge English Corpus Terms are annotated with -abstraction is annotated that there exists abijectionwhich we leave unspecified. From theCambridge English Corpus To this end, we first need to extend the assignment function to be abijection. From theCambridge English Corpus To invent the substitution domain, we may use any suchbijection. From theCambridge English Corpus Thebijectionis based on rotation of circular words. From theCambridge English Corpus This restriction is a continuousbijectionwhich respects geometry in the following sense. From theCambridge English Corpus The composition of two wobbling mappings has the same quality, and this also holds for the inverse of a wobblingbijection. From theCambridge English Corpus Moreover, if x is incommensurable, there is a naturalbijectionbetween the two orbits. From theCambridge English Corpus Two marked weighted dual trees are topologically equivalent when there exists abijectionbetween the two graphs which respect the intersection matrix and the indexations. From theCambridge English Corpus This correspondence is as close to abijectionas we could possibly hope for, in the following sense. From theCambridge English Corpus Once we know that is abijectionat the base sorts, it follows at the derived sorts too. From theCambridge English Corpus Conversely, we recover this naturalbijectionfrom any canonical translation when we consider terms equal up to renaming/simplification (in both calculi). From theCambridge English Corpus Note also our definition of isomorphisms is stronger than bijective p-maps: each component injection should become a symmetry-preserving/reflectingbijection. From theCambridge English Corpus It is easy to verify that each map is abijection. From theCambridge English Corpus So we have abijectionbetween basic positive formulas, called positive negation. From theCambridge English Corpus We give a simplebijectionto show that the equality can be extended to the distributions involved. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。