Define a functional set representing mines