Sam Putman wrote: > > = nil and false > nil > > That's... not Abelian either. A bit off-topic, but if you're looking for connections between math and computer science, take a look at computable topology: https://en.wikipedia.org/wiki/Computable_topology -- Alex