redukovatelný termín
redukovatelný termín, termín, který je v jazyku J definitoricky převeden na jiný termín. V axiomatických systémech jsou všechny definované pojmy redukovatelné na primitivní termíny. Primitivní termíny, pokud jsou nezávislé, nejsou navzájem redukovatelné.
