Submonoid


submonoid is a subset.