Rodzina lokalnie skończona