Template:Forvariety

This is the property of being a for the following variety of algebras: s