Surely's acronym means "basically certain" In a general sense, the conclusion of the formula is valid in any case in one set, but not in other sets. Or, in probability theory, it is also called that the probability is basically one, that is, the probability that the conclusion is not established is zero.