sc_agent_of_set_cantorization described