対偶の交替
inversion of pair
機素潤滑設計
→
対偶