Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sequence_begin [2014/02/08 18:46]
nikolaj
sequence_begin [2014/03/21 11:11] (current)
Line 1: Line 1:
 ===== Sequence begin ===== ===== Sequence begin =====
 ==== Function ==== ==== Function ====
-| @#88DDEE: $ X $ ... set |+| @#55CCEE: context ​    | @#55CCEE: $ X $ ... set |
  
-| @#FFBB00: $ \mathrm{first}:​ \mathrm{Sequence}(X)\to X $ | +| @#FFBB00: definiendum ​| @#FFBB00: $ \mathrm{first}:​ \mathrm{Sequence}(X)\to X $ | 
-| @#FFBB00: $ \mathrm{first}(S):​= \pi_1(S) $ |+| @#FFBB00: definiendum ​| @#FFBB00: $ \mathrm{first}(S):​= \pi_1(S) $ |
  
 ==== Discussion ==== ==== Discussion ====
Line 10: Line 10:
 === Subset of === === Subset of ===
 [[Surjective function]] [[Surjective function]]
-=== Requirements ​===+=== Context ​===
 [[Sequence length]] [[Sequence length]]
Link to graph
Log In
Improvements of the human condition