Homomorph-containment is finite direct power-closed

From Groupprops
Jump to: navigation, search