"a" を台集合として、代数的構造 "r" をもつ代数系を("a", "r")と記す。