Definition df-sgrOLD

Description: Obsolete version of df-sgrp as of 3-Feb-2020. A semigroup is an associative magma. (Contributed by FL, 2-Nov-2009) (New usage is discouraged.)

	Ref	Expression
Assertion	df-sgrOLD	$$⊢\mathrm{SemiGrp}=\mathrm{Magma}\cap \mathrm{Ass}$$

Detailed syntax breakdown

Step	Hyp	Ref	Expression
0		csem	$$class\mathrm{SemiGrp}$$
1		cmagm	$$class\mathrm{Magma}$$
2		cass	$$class\mathrm{Ass}$$
3	1 2	cin	$$class\left(\mathrm{Magma}\cap \mathrm{Ass}\right)$$
4	0 3	wceq	$$wff\mathrm{SemiGrp}=\mathrm{Magma}\cap \mathrm{Ass}$$