Por ejemplo, se puede definir una secuencia de conjuntos "A" para todo ordinal α, especificando tres cosas: