Turn into redirect to Lattice (order)#Important lattice-theoretic notions?

edit

Join-prime and meet-prime currently redirect to Lattice (order)#Important lattice-theoretic notions, and I wonder whether Prime (order theory) should follow this example, given that it is a stub and has been since 2004. – Tobias Bergemann (talk) 15:22, 8 December 2015 (UTC)Reply