Uniqueness of inverse.Let f : A -> B, r = f's retraction, s = f's sectionThus, r•f = 1A, f•s = 1BProof:r=r•1B=r•(f•s)=(r•f)•s=1A•s=s
去中心化社群架設的去中心化社群網站.