Queremos describir algebraicamente las congruencias del plano.