Este conjunto es claramente inductivo, y sus elementos son