מונואיד חופשיויקיפדיה האנציקלופדיה encyclopedia מונואיד חופשי הוא מבנה מתמטי, מהסוג מונואיד, המקיים את התכונה המאפיינת אובייקטים חופשיים.