Кажется, я нашел самое нормальное объяснение, что такое лемма Йонеды: https://teach-in.ru/lecture/2022-05-06-Gorchinskiy

Увы, обычно люди пытаются разводить миллион обозначений, за которыми совершенно теряется смысл утверждения. Филосовски лемму можно интерпретировать так: для того, чтобы разузнать все про незнакомую понравившуюся вам девушку, к которой вы стесняетесь подойти, достаточно узнать про то, как она взаимодействует с каждой из своих подруг.