設盒子A中的鎖的編號是L(i)，i=1,2,...,n，盒子B中的錢包的編號是W(j)，j=1,2,...,m。

如果盒子B中有一把鑰匙能打開盒子A中的一把編號為L(i)的鎖，則B中必存在一個編號為W(j)的錢包，裡面有一把鑰匙，且W(j)>L(i)，這裡1<= i <=n,1<j<=m。