Fully invariant subloop

Definition
A subloop of an algebra loop is termed a fully invariant subloop if it is invariant under all the endomorphisms of the loop.