Квантори загальності () і існування () — є скороченим записом фраз «для будь-якого об'єкту вірно, що …» і «існує принаймні один об'єкт, такий що …». Також ці позначення мають назви універсальний і екзистенційний квантор. Індексні позначення — використовуються для перерахування елементів множини, тобто, якщо є множина , то її елементи, зазвичай, позначають як . Основні поняття