List of available books for concept: Equivalence relation