Lopo en la matematika fako pri abstrakta algebro estas algebra strukturo, kiu egalas al kvazaŭgrupo kun neŭtrala elemento.