Assertion: algebra's set | /r/HasProperty | algebra
Facets:
value: with one constant
type: OTHER
Source sentences:
text: A pointed set is an algebra with one constant, say \(c\).
text: A bipointed set is an algebra with two constants \(c\) and \(d\), and the free bipointed set on \(x\) and \(y\) then has four elements, \(x, y, c\), and \(d\).