Obščaja topologija - Engelking, Ryszard, 1935-2023 (Mír, 1986)