A={x/x € IN; 5 < x < 12} como se lee y como lo paso a extensión.