Definition talk:Bottom (Logic)

Shouldn't this be a disambiguation page? We also have Definition:Bottom of Lattice. --Dfeuer (talk) 23:02, 1 April 2013 (UTC)

The two concepts are aspects of the same thing: a bottom in logic is an instance of a bottom of a lattice where and and or are the operations. Maybe a disambig is not the answer here, as that is best left to distinguish between pages containing more unrelated concepts. Renaming is certainly appropriate but as there are subpages it needs to be done fully and completely in one go, which will require an uninterrupted session. --prime mover (talk) 17:00, 11 April 2013 (UTC)

I've made it a disambig now, but feel free to do with it what you will to tighten up the connection between the two ideas. --prime mover (talk) 19:34, 11 April 2013 (UTC)