Esta definición, se puede escribir utilizando términos lógico-matemáticos y de manera compacta: