Краткое пояснение: Для того чтобы правило было функцией, каждому элементу из множества M должно соответствовать единственное значение из множества N.
В данном случае, квадрат из множества M соответствует и четырёхугольнику, и прямоугольнику из множества N. Это значит, что правило не является функцией.