ๆช็ฅใฎใใใ X ใจใๆฏๅๆฐใฎใใใฃใฆใใ 2 ใคใฎใใใ A, B ใจใงใใชใใ่ชฟในใใใใใใฎใใชใๆฐใใ X ใฎๆฏๅๆฐใ็นๅฎใใพใใ
ๅใใใใจใฎใใชใใใๅบใใ2 ใคใฎๅ่ฃใใฎใใกใA ใงใ B ใงใๅ ฑ้ใใๅ่ฃใ ใใ็ญใใงใใ
ๆข็ฅใฎ 2 ใคใฎใใใ A, B ใจใใใใใใจใฎใใชใๅๆฐใใใๆช็ฅใฎใใใ X ใฎๆฏๅๆฐ \(f_X\) ใๆฑบๅฎใใใ
ใใผใใ่ฒผใใชใฉใใฆใใใ X ใฎๆฏๅๆฐใๅฐใไธใใใจใใฎใใชใๅๆฐใฎๅคๅใใใX ใ A ใ B ใใ้ซใใไฝใใใๅคๆญใงใใ๏ผๅคงไบใชไปๅ ๆ ๅ ฑ๏ผใ