set S = Trivial-AMI N;
thus the carrier of (Trivial-AMI N) is 1 -element by Def1; :: according to STRUCT_0:def 19 :: thesis: verum