Quasi-identity
உலகளாவிய இயற்கணிதத்தில், ஒரு அரை-அடையாளம் என்பது s1 = t1Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â. Â ஒரு அரை-அடையாளம் என்பது நிபந்தனைகள் சமன்பாடுகளாக இருக்கும் ஒரு நிபந்தனை சமன்பாட்டிற்கு சமம். மாற்றாக, இது சமத்துவமின்மைகள் மற்றும் ஒரு சமன்பாடு s1 ஷ்ண t1 ஷ்ண. ஷ்ண ஷ்ண ஷ்ண ஷ்ண ஷ்ண ஷ்ண ஷ்ண ஷ்ண = t-அதாவது, ஒரு திட்டவட்டமான ஹார்ன் உட்பிரிவாக பார்க்கப்படலாம். n = 0 கொண்ட ஒரு அரை-அடையாளம் ஒரு சாதாரண அடையாளம் அல்லது சமன்பாடு, எனவே அரை-அடையாளங்கள் என்பது அடையாளங்களின் பொதுமைப்படுத்தல் ஆகும். மேலும் பார்க்கஃ Quasivariety குறிப்புகள் இலவச ஆன்லைன் பதிப்பு. உலகளாவிய இயற்கணிதம்