Достове́рным собы́тием в теории вероятностей называется событие, которое в результате опыта или наблюдения непременно должно произойти. Обозначается символом. Для достоверного события, то есть вероятность события равна единице. Но, не всякое событие, вероятность которого равна 1, является достоверным
Два случайные события А и В называются противоположными, если они несовместны и образуют полную группу событий. Примеры: студент может сдать или не сдать экзамен, день и ночь. Конкретный результат испытания называется элементарным событием.
Формально говоря, элементарное событие — это подмножество исходов случайного эксперимента, которое состоит только из одного элемента; то есть элементарное событие — это всё ещё множество, но не сам элемент.
События A и B называются зависимыми, если вероятность одного из них зависит от того, произошло или не произошло другое событие.
В теории вероятностей два случайных события называются независимыми, если наступление одного из них не изменяет вероятность наступления другого. Аналогично, две случайные величины называют независимыми, если известное значение одной из них не дает информации о другой.
Полная группа событий По́лной гру́ппой(системой) собы́тий в теории вероятностей называется система случайных событий такая, что в результате произведенного случайного эксперимента непременно произойдет одно и только одно из них. Сумма вероятностей всех событий в группе всегда равна 1.
Ядро в алгебре — характеристика отображения f:A– B ,обозначаемая ker f отражающая отличие f от инъективного отображения, обычно — множество прообразов некоторого фиксированного (нулевого, единичного, нейтрального) элемента e. Конкретное определение может различаться, однако для инъективного отображения f множество ker f всегда должно быть тривиально, то есть состоять из одного элемента (как правило, нейтрального элемента из A.
Если множества A и B обладают некоторой структурой (например, являются группами или векторными пространствами), то ker f также должно обладать этой структурой, при этом различные формулировки основной теоремы о гомоморфизме связывают образ Im f и фактормножество A/ker f