w matematyce: relacja równoważności w zbiorze zwartych rozmaitości różniczkowych