Talk:Min Operation on Toset forms Semigroup

From ProofWiki
Jump to navigation Jump to search

Regarding renaming the page, is Toset with Min Operation forms Semigroup OK?

I ask because technically it is the underlying set of a toset with the min operation that is the semigroup, but this seems like a mouthful. --Leigh.Samphier (talk) 12:38, 29 December 2020 (UTC)

I'd go for Min Operation on Toset forms Semigroup, which is probably as compact as can be managed.
The min operation is done on the toset, not on the underlying set of it, because the min operation is not definable without the ordering. --prime mover (talk) 12:41, 29 December 2020 (UTC)

Merging with Min Semigroup is Commutative

Regarding merging with Min Semigroup is Commutative, if the page is also merged with Min Semigroup is Idempotent and Min Semigroup on Toset forms Semilattice then the page becomes Min Operation on Toset forms Meet Semilattice. It seems sensible to do this, with similar merging of the corresponding max operation pages into Max Operation on Toset forms Join Semilattice --Leigh.Samphier (talk) 13:10, 29 December 2020 (UTC)