theorem Similar2: :: ROUGHIF2:44

for R being finite set
for A, B being Subset of R holds (JaccardDist R) . (A,B) = (card (A \+\ B)) / (card (A \/ B))