If for a Partition of Universe and is any event, then