def proba_sachant_que(B):
    assert len(B)>0
    def P_B(A):
        return len(A.intersection(B))/len(B)
    return P_B