theorem JacSym: :: ROUGHIF2:42

for R being finite set
for A, B being Subset of R holds JaccardIndex (A,B) = JaccardIndex (B,A)