Property: orthogonally finite

Definition: families of orthogonal idempotents are all finite

(No citations retrieved.)

(No metaproperty information retrieved.)