Sea el conjunto de todas las palabras finitas sobre un alfabeto finito. Una palabra se llama un prefijo estricto de una palabra , si es un prefijo de y no hay otra forma de mostrar que es una subpalabra de . Se dice que un lenguaje es prefijo-estricto, si para cualquier , es una subpalabra de siempre implica que es un prefijo estricto de . Denote la clase de todos los lenguajes prefijo-estrictos en por . Este documento caracteriza como un universo de un modelo del objeto libre para la variedad de ai-semirings que satisface las identidades adicionales y . Además, se introducen los resultados análogos para los llamados lenguajes sufijo-estrictos y lenguajes de infijo-estrictos.