「圏論/代数系/関係, 同値関係」の版間の差分

削除された内容 追加された内容
ページの作成:「<div id="2.1"> <strong>2.1</strong> <math>A, B</math> を集合とする. 集合論的直積 <math>A\times B=\{(a, b)|a\in A, b\in B\}</math> の(任意に定めら…」
 
編集の要約なし
42 行
 
を同時にみたすとき,<math>\rho</math> は <math>A</math> の上で'''同値条件'''をみたす,または'''同値関係'''であるといい,
<math>\rho</math> が同値関係であるとき <math>a \rho b</math> である <math>a</math> と <math>b</math> は <math>\rho</math> について互いに'''同値である''' という.