En notación matemática, esto es