A conditioning interval based on superconditionals and superpower sets

A natural measure of probabilistic equality between sets leads to two measures of probabilistic conditioning that form the endpoints of a conditioning interval (P, Q). The interval\´s lower bound is the standard conditional probability or what we call the "subconditional" P that describes the probability of a subset relation. The upper bound is a new "superconditional" Q that describes the probability of the corresponding superset relation. These dual conditioning operators correspond to dual set collections and enjoy optimality relations with respect to these set collections. The subconditional operator corresponds to the usual "power set" of a given set. The dual superconditional operator corresponds to what we call the "superpower set" or the set of all supersets of the given set. The two dual conditioning operators obey dual Bayes theorems but differ in how they respond to statistical independence