Bir olayın imkânsız olabilmesi için çıktılar kümesinde hiçbir elemanı olmaması veya başka bir değişle, boş kümeye denk olması gerekir. Bir olayın kesin olabilmesi için ise, çıktılar kümesinin tüm elemanlarının aynı zamanda bu olayı tanımlayan alt kümenin de elemanı olması gerekir.