k-等価性

https://gyazo.com/32dad6102e0d9e915032e48cf953e73f