Tahap 1: ambil \(a_1,a_2,a_3\in A\text{;}\) ketiganya juga unsur \(X\text{.}\) Tahap 2: tuliskan setiap aksioma untuk \(d'\text{,}\) lalu ganti setiap nilai \(d'\) dengan nilai \(d\) yang sama.