a blacksmith's Device with a short head much like a chilly chisel set transversely on to a take care of and used, when struck using a hammer, for cutting off lengths of iron bars A more formal assertion of your axiom of alternative is: the Cartesian item of each indexed family members of none