Prove that lockset ⊆ dom memory.