They are equivalent if their closures are equal or in other words, if F covers G and G covers F, that is F logically → G and G logically → F.
அவற்றின் க்ளோஸர்கள் சமமாக இருந்தால் அல்லது வேறு வார்த்தைகளில் கூறுவதானால், F கவர்ஸ் G மற்றும் G கவர்ஸ் F என்றால் அவை இஃக்குவளென்ட்; அதாவது, F லாஜிக்கலி இம்ப்ளைஸ் G மற்றும் G லாஜிக்கலி இம்ப்ளைஸ் F.