Число называется
определенным интегралом, или
интегралом Римана, функции
на отрезке
, и
интеграл
обозначается
1) сюръективна (отображает
на
), если
(или, что то же самое:
);
2) инъективна, если различные элементы из
имеют различные образы в
;
3) биективна или взаимно однозначна, если функция
сюръективна и инъективна .
Отрицанием
высказывания называется такое высказывание, обозначаемое
(читается: "не
"), которое является истинным, если
ложно, и ложным, если
истинно. Эту ситуацию можно изобразить с помощью таблицы истинности:
и
л
л
и