Differences

This shows you the differences between two versions of the page.

--- quotient_set [2013/09/02 23:24]
nikolaj
+++ quotient_set [2014/12/27 00:17]
nikolaj
@@ Line 1: / Line 1: @@
 ===== Quotient set =====
-==== Definition ====
+==== Set ====
-| @#88DDEE: $X$ |
+| @#55CCEE: context     | @#55CCEE: $X$ ... set |
-| @#88DDEE: $ \sim\in\text{Equiv}(X) $ |
+| @#55CCEE: context     | @#55CCEE: $ \sim\in\text{Equiv}(X) $ |
+| @#FFBB00: definiendum | @#FFBB00: $ Y\in X/\sim $ |
+| @#55EE55: postulate   | @#55EE55: $ \exists x.\ Y=[x]_\sim $ |
-| @#FFBB00: $ Y\in X/\sim $ |
+-----
-| @#55EE55: $ \exists x.\ Y=[x]_\sim $ |
-==== Discussion ====
 === Reference ===
 Wikipedia: [[http://en.wikipedia.org/wiki/Equivalence_class|Equivalence class]]
-==== Context ====
-=== Requirements ===
+-----
+=== Context ===
 [[Equivalence class]]