Property: orthogonally finite

Definition: families of orthogonal idempotents are all finite