I was looking through AMS Binary Relations and I found you there