Esta definición es análoga a la realizada mediante "if ...