在 中文 中使用 等价 的示例及其翻译为 日语
{-}
-
Ecclesiastic
-
Programming
-
Computer
对于有限乘积很容易證明，而其一般情况等价于选择公理。
これは有限積に対して示すのは容易だが一般の場合の主張は選択公理と同値である。Calendar到SQL类型TIMESTAMP和DATE（或等价类型）的映射。
CalendarからSQL型の「TIMESTAMP、DATEまたはそれらと等価なもの）への型マッピング。在一般拓扑空间，这个性质和T1公理等价。
一般の位相空間においてこの性質はT1-分離公理と同値である。WilfridHodges给出了组合语义，并证明了它和IF-逻辑的博弈语义等价。
WilfridHodgesはCompositionalSemantics（合成的意味論）を提案し、それがIF-Logicのゲーム意味論と等価であることを証明した。命题8：对任意两个集合A{\displaystyleA}和B{\displaystyleB}，下述等价：.
命題8:任意の2つの集合AとBについて、以下の式は等価である。所有乌鸦都是黑色的”的论断在逻辑上和“所有不是黑色的东西不是乌鸦”等价。
すべてのカラスは黒い」と「黒くないものはカラスではない」は論理的に同値である。临走之前，爱德红着一张脸对温莉说：“等价交换，我把人生的一半给你，你也将人生的一半给我。
与StrictMath类的某些数学方法不同，并非Math类所有等价函数的实现都定义为返回逐位相同的结果。
StrictMathクラスの一部の数値メソッドとは異なり、Mathクラスの等価関数のすべての実装は、ビット対ビットの同じ結果を返すようには定義されていません。若a<b或若a等价于b则返回std::pair<constT&,constT&>(a,b)的结果。
A<bの場合、またはaがbと同等な場合は、std::pair<constT&,constT&>(a,b)の結果を返します。容易证明RL是字符串上的等价关系，因此它把所有有限字符串的集合划分成一个或多个等价类。
RLが文字列の同値関係であることは容易に示され、従って全ての有限文字列は1つ以上の同値類に分類される。在日本、美国均达成当时的最高电耗性能（美国交流功率消耗率（电耗）为29kWh/100哩、汽油等价换算燃耗为118MPG-e）。
日本・米国とも、その時点で最高の電費性能を達成した（米国では、交流電力消費率（電費）29kWh/100マイル、ガソリン等価換算燃費118MPG-e）。术语"microRNA"和"miRNA"可互换应用，是指大约17-24个核苷酸的核酸分子，其从pri-miRNA、pre-miRNA或者其功能等价物中产生。
用語"マイクロRNA"及び"miRNA"は互換性があり、プリmiRNA，プレmiRNA又は機能的等価物から作られる約１７〜２４ヌクレオチドの核酸分子を表わす。在美国也获得交流功率消耗率29kWh/100哩、汽油等价换算燃耗118MPGe的美国最高电耗率认证。
米国でも、交流電力量消費率29kWh/100マイル、ガソリン等価換算燃費118MPGeの米国最高の電費の認可を取得した。如果他们的扩展字形集是统一码等价，则这两个String值(或者两个Character值)被认为是等同的。
拡張書記素クラスタが正準等価の場合に、2つのString値（またはCharacter値）が等価であるとみなされます。所以notx==y相当于not(x==y),同时等价于not(True==False),最后的运算结果就是True.
したがってnotx==yはnot(x==y)と等価で、not(True==False)と等しくなり、最終的にTrue評価されTrue。我们将按数据库单位(DU)的倍数对每个数据库计费，每个计费单位等价于每月$9.99。
各データベースはデータベースユニット(DU)の倍数単位で請求され、各請求単位は、1か月あたり$9.99と同等です。正式定义为，给定两个范畴C与D，一个范畴等价包括函子F:C→D，函子G:D→C，以及两个自然同构ε:FG→ID与η:IC→GF。
形式的には、ふたつの圏CとDの圏同値はふたつの関手F:C→D,G:D→Cとふたつの自然同型ε:FG→ID,η:IC→GFから成る。没有这个域等价于null值（意味着如果服务器不打算使用任何推荐的子协议，它必须不发送回一个|Sec-WebSocket-Protocol|头域在它的响应里）。
そのようなヘッダの不在はnull値と等価である（すなわち，サーバが提示されたどの下位プロトコルにも同意しない場合、その応答にSec-WebSocket-Protocolヘッダを返してはならない）。如果E1（有时叫做applicand）是一个抽象，则这个项可以被归约：参数E2可以被代换如E1的主体中E1的形式参数的位置上，而结果是一个新的lambda项，它等价于旧的。
もしE1(ときどきapplicandと呼ばれる)がラムダ抽象なら、その項は簡約されるかもしれない:引数E2は、E1の仮引数の場所に置き換えられ、同値な新しい項が結果になる。一个商品究竟是处于相对价值形式，还是处于与之对立的等价形式，完全取决于它当时在价值表现中所处的地位，就是说取决于它是价值被表现的商品，还是表现价值的商品。
いまや、ある商品が、相対的価値形態にあるか、それとも対置された等価形態にあるかは、もっぱらそれが価値表現において、そのつど占める位置に、つまりその商品が自分の価値が表現される商品であるか、それとも自分に価値が表現される商品であるかに、かかっている。
