Why do order and repetition matter in a list but not in a set, and how does commutativity in Fⁿ fall straight out of commutativity in F?
Loading…
Lists versus finite sets
Define a list of length and when two lists are equal, note that every list has finite length and counts, and record the and versus examples against the matching sets.
The definition of and its addition
Write in set-builder notation, define the coordinate, and state the rule , with as an example.
Commutativity of addition in
State that for , write the chain of equalities in coordinates, and label which steps use the definition and which use commutativity in .
The zero list
Define the zero list, record the statement for all , and note how context there identifies the zero list rather than the number .