Sifat universal dari S ⊗ R T menyatakan bahwa untuk dua peta S → W dan T → W dimana trivial segi empat luar, peta unik S ⊗ R T → W dimana diagram trivial.