...HalsNaiveSetTheory()(z=f(xy))((xy))(z)[0.511.52]y:[00000]z:[00.40.70.80.9]....~...........5107201:NS::