<a, b> で同値性