Hi, I am trying to work through ordered triples and quadruples, and I want to make sure I am on the right track.
Given Kuratowski's set-theoretic definition of ordered pairs: <x,y> = df {{x},{x,y}} it seems that the definition of <a, b, c> = df <<a, b>, c> would be <a, b, c> = df{{a}, {a...