elem of infinite set of tuple