Changes

Line 2,168: Line 2,168:     
===Definition 3===
 
===Definition 3===
 +
 +
====Variant 1====
    
<br>
 
<br>
Line 2,176: Line 2,178:  
|- style="height:40px; text-align:center"
 
|- style="height:40px; text-align:center"
 
| width="80%" | &nbsp;
 
| width="80%" | &nbsp;
| width="20%" | <math>\text{Definition 3}\!</math>
+
| width="20%" | <math>\operatorname{Definition~3}</math>
 
|}
 
|}
 
|-
 
|-
Line 2,205: Line 2,207:  
|}
 
|}
 
|}
 
|}
 +
 +
<br>
 +
 +
====Variant 2====
    
<br>
 
<br>
Line 2,213: Line 2,219:  
|- style="height:40px; text-align:center"
 
|- style="height:40px; text-align:center"
 
| width="80%" | &nbsp;
 
| width="80%" | &nbsp;
| width="20%" | <math>\text{Definition 3}\!</math>
+
| width="20%" | <math>\operatorname{Definition~3}</math>
 
|}
 
|}
 
|-
 
|-
Line 2,237: Line 2,243:  
| &nbsp;
 
| &nbsp;
 
| <math>\operatorname{D3b.}</math>
 
| <math>\operatorname{D3b.}</math>
| <math>\overset{X}{\underset{x}{\forall}}~ (f(x) = g(x))</math>
+
| <math>\overset{X}{\underset{x}{\forall}}~ (f(x) ~=~ g(x))</math>
 
|}
 
|}
 
|}
 
|}
 +
 +
<br>
 +
 +
====Variant 3====
    
<br>
 
<br>
Line 2,248: Line 2,258:  
|- style="height:40px; text-align:center"
 
|- style="height:40px; text-align:center"
 
| width="80%" | &nbsp;
 
| width="80%" | &nbsp;
| width="20%" | <math>\text{Definition 3}\!</math>
+
| width="20%" | <math>\operatorname{Definition~3}</math>
 
|}
 
|}
 
|-
 
|-
Line 2,272: Line 2,282:  
| &nbsp;
 
| &nbsp;
 
| <math>\operatorname{D3b.}</math>
 
| <math>\operatorname{D3b.}</math>
| <math>\prod_x^X (f(x) = g(x))</math>
+
| <math>\prod_x^X~ (f(x) ~=~ g(x))</math>
 
|}
 
|}
 
|}
 
|}
12,080

edits