幺半範畴( 二 )


上有界交半格构成一严格对称幺半範畴:其积为交,而单位元则为顶 。