adding more Examples and Explanations for the Algorithms

[SpocWeb]

Hi, thank you for maintaining this Library. I would like to pick up and add more Examples and Explanations for the Algorithms. I'm starting by splitting some Unit Tests for Transitivity and adding Check for Idempotency in the hopes of being accepted and welcomed for further PRs. Best Regards...